Derivative of tan x from first principle